direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Formal Verification of Distributed Algorithms - From Pseudo Code to Checked Proofs
Zitatschlüssel conf/ifipTCS/KufnerNR12
Autor Küfner, Philipp and Nestmann, Uwe and Rickmann, Christina
Buchtitel IFIP TCS
Seiten 209-224
Jahr 2012
Jahrgang 7604
Monat 9
Verlag Springer
Serie Lecture Notes in Computer Science
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe